Search results for " Formal"
showing 10 items of 273 documents
Museums which pay attention to education for sustainability
2006
En el presente trabajo analizamos el contenido de dos importantes museos franceses que han empezado a incorporar de forma clara y extensa, no meramente incidental, la atención a la actual situación de emergencia planetaria. Se trata de dos ejemplos notables de superación todavía parcial de la orientación tradicional de los museos como meros exponentes propagandísticos de los logros científicos y de respuesta positiva a los llamamientos de Naciones Unidas para que todos los educadores contribuyamos a favorecer la participación ciudadana en la toma de decisiones fundamentadas, generando actitudes y comportamientos orientados a la consecución de un futuro sostenible. This paper analyzes the co…
Forme e modalità della trascrizione degli atti relativi ad alcuni beni mobili
2010
ComPWA: A common amplitude analysis framework for PANDA
2014
A large part of the physics program of the PANDA experiment at FAIR deals with the search for new conventional and exotic hadronic states like e.g. hybrids and glueballs. For many analyses PANDA will need an amplitude analysis, e.g. a partial wave analysis (PWA), to identify possible candidates and for the classification of known states. Therefore, a new, agile and efficient amplitude analysis framework ComPWA is under development. It is modularized to provide easy extension with models and formalisms as well as fitting of multiple datasets, even from different experiments. Experience from existing PWA programs was used to fix the requirements of the framework and to prevent it from restric…
Alignment-free sequence comparison using absent words
2018
Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realised by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free techniques, which are based on measures referring to the composition of sequences in terms of their constituent patterns. These measures, such as $q$-gram distance, are usually computed in time linear with respect to the length of the sequences. In this paper, we focus on the complementary idea: how two sequences can be efficiently compared based on information that does not occur in the sequences. A word is an {\em absent word} of some sequence if it does not oc…
Accurate modeling of weak lensing with the stochastic gravitational lensing method
2011
We revise and extend the stochastic gravitational lensing method (the sGL method) first introduced by Kainulainen and Marra [Phys. Rev. D 80, 123020 (2009)]. Here we include a realistic halo-mass function and density profiles to model the distribution of mass between and within galaxies, galaxy groups, and galaxy clusters. We also introduce a modeling of the filamentary large-scale structures and a method to embed halos into these structures. We show that the sGL method naturally reproduces the weak lensing results for the Millennium simulation. The strength of the sGL method is that a numerical code based on it can compute the lensing probability distribution function (PDF) for a given inh…
Oznaczenie wykonalności jako nowy element pozwu - wybrane zagadnienia
2019
On Combinatorial Generation of Prefix Normal Words
2014
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present an efficient algorithm for exhaustively listing the prefix normal words with a fixed length. The algorithm is based on the fact that the language of prefix normal words is a bubble language, a class of binary languages with the property that, for any word w in the language, exchanging the first occurrence of 01 by 10 in w results in another word in the language. We prove that each prefix normal word is produced in O(n) amortized time, and conjecture, based on expe…
Estimation of Granger causality through Artificial Neural Networks: applications to physiological systems and chaotic electronic oscillators
2021
One of the most challenging problems in the study of complex dynamical systems is to find the statistical interdependencies among the system components. Granger causality (GC) represents one of the most employed approaches, based on modeling the system dynamics with a linear vector autoregressive (VAR) model and on evaluating the information flow between two processes in terms of prediction error variances. In its most advanced setting, GC analysis is performed through a state-space (SS) representation of the VAR model that allows to compute both conditional and unconditional forms of GC by solving only one regression problem. While this problem is typically solved through Ordinary Least Sq…
Isometric Words Based on Swap and Mismatch Distance
2023
An edit distance is a metric between words that quantifies how two words differ by counting the number of edit operations needed to transform one word into the other one. A word f is said isometric with respect to an edit distance if, for any pair of f-free words u and v, there exists a transformation of minimal length from u to v via the related edit operations such that all the intermediate words are also f-free. The adjective 'isometric' comes from the fact that, if the Hamming distance is considered (i.e., only mismatches), then isometric words are connected with definitions of isometric subgraphs of hypercubes. We consider the case of edit distance with swap and mismatch. We compare it…